

#ifndef __KSTDIO
#  define __KSTDIO

int ksnprintf(int, char *, char *, ...);


#endif
